13.2.1 옵션(Options)의 수학적 정의: 시작 집합(Initiation Set), 내부 정책(Intra-option Policy), 종료 조건(Termination Condition)